<html>
<head>
  <title>Redirecting...</title>
  <meta http-equiv="refresh" content="0; url=html/index.html"/>
</head>
<body>
<h1>Redirecting...</h1>
<center>
  <a href="html/index.html">Click here</a> to go to the documentation page,
  if it is not automatically redirected.
</center>
</body>
</html>

